ma-interface-msgs(I;i;k)(s,v)
== if can-apply(p.let s,v = p in ma-interface-code(I;i;k)(s,v);<s, v>)
== then [do-apply(p.let s,v = p in ma-interface-code(I;i;k)(s,v);<s, v>)]
== else []
== fi  

latex

---

clarification:

ma-interface-msgs(I;i;k)(s,v)
== if can-apply(p.let s,v = p in ma-interface-code(I;i;k)(s,v);<s, v>)
== then [do-apply(p.let s,v = p in ma-interface-code(I;i;k)(s,v);<s, v>) / []]
== else []
== fi  

latex

Definitions	if b then t else f fi , can-apply(f;x), [car / cdr], do-apply(f;x), x.A(x), let x,y = A in B(x;y), f(a), ma-interface-code(I;i;k), <a, b>, []
FDL editor aliases	ma-interface-msgs